home *** CD-ROM | disk | FTP | other *** search
/ Developer CD Series 1996 May: Tool Chest / Developer CD Series May 1996 (Tool Chest) (Apple Computer) (1996).iso / Tool Chest / Development Tools & Languages / Macintosh Common Lisp Related / AI FAQ 13Sept94 / change.log < prev    next >
Encoding:
Text File  |  1994-09-15  |  23.4 KB  |  445 lines  |  [TEXT/ttxt]
  1. ;;; ****************************************************************
  2. ;;; Change Log for the AI FAQ **************************************
  3. ;;; ****************************************************************
  4. *** Acknowledgments:
  5.  
  6.    Thanks to the following people for contributing to this FAQ:
  7.     Matthew L. Ginsberg <ginsberg@CS.Stanford.EDU>
  8.     Ashwin Ram <ashwin@cc.gatech.edu>
  9.     Dana Nau <nau@cs.umd.edu>
  10.     Daniel Cohen <dc@dcs.qmw.ac.uk>
  11.     David Traum <traum@cs.rochester.edu>
  12.     John Josephson <jj@cis.ohio-state.edu>
  13.     Jon Sticklen <sticklen@cps.msu.edu>
  14.     Karin van Dam <vandamk@prl.philips.co.uk>
  15.     Kathleen King <kk@aisb.ac.ed.uk>
  16.     Kevin Thompson <kthompso@ptolemy.arc.nasa.gov>
  17.     Matteo Vaccari <vaccari@ghost.dsi.unimi.it>
  18.     Nick Lewins <nick@cs.uwa.edu.au>
  19.     Russell G. Almond <almond@stat.washington.edu>
  20.     Thomas Weigert <weigert@etl.go.jp>
  21.     Tim S. Roberts <tim@giaeb.cc.monash.edu.au>
  22.     Keith S. Decker <decker@cs.umass.edu>
  23.     David Chalmers <dave@cogsci.indiana.edu>
  24.         Elpida TZAFESTAS <brensham@laforia.ibp.fr>
  25.     Bob Mackay <bob@cpd.tandem.com>
  26.  
  27. ;;;
  28. ;;; 13-SEP-92 mk    Moved Prolog information into the updated Prolog Resource
  29. ;;;            Guide. 
  30. ;;; 14-SEP-92 mk    Added automated reasoning references. Added automated
  31. ;;;            reasoning systems to [4], ftp resources.
  32. ;;;            Split FAQ into two pieces.
  33. ;;; 15-SEP-92 mk    Added IE-digest.
  34. ;;; 30-SEP-92 mk    Added Stiquito entry.
  35. ;;;  8-OCT-92 mk    Added Glossary question, updated ECTL entry.
  36. ;;; 15-OCT-92 mk    Added MUME entry, some new references, fuzzy logic
  37. ;;;                 ftp, etc.
  38. ;;; 15-OCT-92 mk    Distributed AI info contributed by Keith Decker.
  39. ;;; 15-OCT-92 mk    Split off FTP resources into part 3.
  40. ;;; 15-OCT-92 mk    Added several journal references.
  41. ;;; 15-OCT-92 mk    Several references contributed by Dave Chalmers, including
  42. ;;;                 GA, NNets, and Alife.
  43. ;;; 16-OCT-92 mk    Added info about lots and lots of journals.
  44. ;;; 20-OCT-92 mk    Added entry on the Consortium for Lexical Research to part
  45. ;;;                 3.
  46. ;;; 27-OCT-92 mk    Added entry on Togai InfraLogic (TIL).
  47. ;;;  2-NOV-92 mk    Added entry on Computists' Communique.
  48. ;;;  5-NOV-92 mk    Added entry on ARS MAGNA to part 3.
  49. ;;;  5-NOV-92 mk    Added question on "best" schools in AI.
  50. ;;; 16-NOV-92 mk    Added entry on GBB.
  51. ;;; 19-NOV-92 mk    Updated AI CD-ROM entry. New email addresses.
  52. ;;; 24-NOV-92 mk    Updated some of the Robotics content, per Ken Goldberg.
  53. ;;;                 Added reference to robotics faq posting, and stole small
  54. ;;;                 excerpts of it.
  55. ;;; 24-NOV-92 mk    Added entry on Soc for Machines and Mentality (and journal)
  56. ;;;                 to 1-1, per William J. Rapaport.
  57. ;;; 15-DEC-92 mk    Updated NL Software Registry entry in Part 3.
  58. ;;; 15-DEC-92 mk    Updated 1-4 by adding another reference.
  59. ;;; 16-DEC-92 mk    Added listing of addresses and phone numbers for major AI
  60. ;;;                 publishers to part 2.
  61. ;;; 16-DEC-92 mk    Added question 1-11 on finding email addresses for AI
  62. ;;;                 researchers.
  63. ;;; 17-DEC-92 mk    Added empiricists@csli mailing list (Statistics, NL &
  64. ;;;                 Computing).
  65. ;;; 17-DEC-92 mk    Added newsgroup comp.ai.genetic to newsgroup listing.
  66. ;;;  5-JAN-93 mk    Added Dependency Grammar mailing list.
  67. ;;;
  68. ;;; 1.4:
  69. ;;; 14-JAN-93 mk    Added comp.ai.fuzzy and comp.ai.genetic to newsgroups
  70. ;;;                 listings. Added definition of Fuzzy Logic to [1-9].
  71. ;;; 20-JAN-93 mk    Added ViewGen and RWM to part 3, genetic-programming
  72. ;;;                 mailing list to part 1.
  73. ;;; 20-JAN-93 mk    Added foNETiks mailing list/digest back in.
  74. ;;; 21-JAN-93 mk    New Distributed-AI discussion list in 1-2.
  75. ;;; 27-JAN-93 mk    Moved 1-6 and 1-7 to part 3.
  76. ;;;  2-FEB-93 mk    Added Genetic Algorithms to 3-1, SNNS (Stuttgart
  77. ;;;                 Neural Network Simulator) to 3-2.
  78. ;;;  3-FEB-93 mk    New mailing list, robot-boards@oberon.com.
  79. ;;;  3-FEB-93 mk    Added SCS and GASSY to 3-2, Genetic Algorithms,
  80. ;;;                 and VFSR to Simulated Annealing.
  81. ;;;  5-FEB-93 mk    Added FuzzyNet (Aptronix) email server to 3-1.
  82. ;;; 25-FEB-93 mk    Added YAPS entry to commercial products section.
  83. ;;; 10-MAR-93 mk    Added entry on new GA journal, Evolutionary Computing.
  84. ;;; 11-MAR-93 mk    Added Gordon Bell competition. 3 new cognitive
  85. ;;;                 science/psychology mailing lists.
  86. ;;; 12-MAR-93 mk    Part 1 was too big, so split out mailing lists and bboards
  87. ;;;                 into their own part, and renumbered all the parts.
  88. ;;; 12-MAR-93 mk    Added Simderella entry to part 4.
  89. ;;;
  90. ;;; 1.5:
  91. ;;; 15-MAR-93 mk    Fixed AI in Medicine mailing list entry.
  92. ;;; 15-MAR-93 mk    Added AI and Law assoc&journal. Added 2refs to KR bib.
  93. ;;; 17-MAR-93 mk    Added uwaterloo tech report archive.
  94. ;;; 17-MAR-93 mk    Added 1-2, cribbed in part from the comp.ai.fuzzy draft FAQ
  95. ;;;                 by erik@til.com. Also added fuzzy logic mailing lists.
  96. ;;; 17-MAR-93 mk    Corrected name of IlliGAL librarian in part 4.
  97. ;;; 18-MAR-93 mk    Added ILS to several categories in list of schools.
  98. ;;; 30-MAR-93 mk    Added Pitt to some AI Schools categories, updated grady's
  99. ;;;                 email address.
  100. ;;;  8-APR-93 mk    Corrected FOIL entry.
  101. ;;;  9-APR-93 mk    Added entry on JAIR to journals section.
  102. ;;;  9-APR-93 mk    Added Kluwer ftp server to part 3.
  103. ;;;  9-APR-93 mk    Added GENITOR to part 4.
  104. ;;;  9-APR-93 mk    Updated IlliGAL entry again.
  105. ;;;  9-APR-93 mk    Added Toby Tyrrell's ANIMALS system to part 4.
  106. ;;;  9-APR-93 mk    Added CERA to journals list.
  107. ;;;  9-APR-93 mk    Added Morlan's definitions of verification and validation
  108. ;;;                 to Glossary, slightly edited.
  109. ;;;  9-APR-93 mk    Added bibliographic entries on truth maintenance systems.
  110. ;;;  9-APR-93 mk    Added entry on the linguistic data consortium.
  111.  
  112. Removed, per author's request.
  113.       GASSY is a library of routines in C for implementing genetic
  114.       algorithms. It is available by anonymous ftp from
  115.       piggy.cogsci.indiana.edu:pub/gassy-2.0.tar.Z. For further information,
  116.       contact the author, Terry Jones, <terry@santafe.edu>.
  117.  
  118. ;;; 1.6
  119. ;;; 14-APR-93 mk    Added entry on MICE to planning testbeds in part 4.
  120. ;;; 14-APR-93 mk    Added entry on INTERNATIONAL JOURNAL OF APPROXIMATE
  121. ;;;                 REASONING.
  122. ;;; 14-APR-93 mk    Changed Probabilisitic Reasoning category in schools list
  123. ;;;                 to "Reasoning under uncertainty" and added a school to it.
  124. ;;; 14-APR-93 mk    Removed entry on GASSY from part 4, per author's request.
  125. ;;; 14-APR-93 mk    Added entry on Prime Time Freeware CD ROMs to part 4 of the
  126. ;;;                 FAQ.
  127. ;;; 14-APR-93 mk    Added Genetic Programming Repository to part 4.
  128. ;;; 14-APR-93 mk    Added Speech Analysis and Synthesis to Bibliography.
  129. ;;; 15-APR-93 mk    UCI ML Database archive now has archie mail server.
  130. ;;; 15-APR-93 mk    Added Linguistics intros to bibliography.
  131. ;;; 15-APR-93 mk    Added Xerox part of speech tagger to part 4.
  132. ;;; 16-APR-93 mk    Updated subscription information for KAW mailing list.
  133. ;;; 19-APR-93 mk    Corrected Computers and AI journal entry.
  134. ;;; 19-APR-93 mk    Added entry on SME to part 4.
  135. ;;; 23-APR-93 mk    Corrected IAKE phone number.
  136. ;;; 23-APR-93 mk    Corrected various entries associated with ILS, including
  137. ;;;                 ftp sources for ICU and ICBR, and the technical report ftp
  138. ;;;                 location.
  139. ;;; 23-APR-93 mk    Updated Open Book Initiative entry.
  140. ;;; 26-APR-93 mk    Added entry on DTP to part 4.
  141. ;;; 26-APR-93 mk    Added Uncertainty in AI mailing list.
  142. ;;; 26-APR-93 mk    Updated ISAI entry.
  143. ;;; 26-APR-93 mk    Updated MUME entry.
  144. ;;; 27-APR-93 mk    Updated ACL directory of grad programs in computational
  145. ;;;                 linguistics entry in 1-10 and in 1-1.
  146. ;;; 29-APR-93 mk    Updated SNNS ftp address.
  147. ;;; 29-APR-93 mk    Added entry on availability of source to the programs from
  148. ;;;                 Pereira and Shieber's book on NLU in Prolog.
  149. ;;; 30-APR-93 mk    Split part 4 of the FAQ (FTP Resources) into parts 4 and 5.
  150. ;;; 30-APR-93 mk    Added entry on SETHEO under theorem provers.
  151. ;;; 30-APR-93 mk    Added Chuck Wooters' TIMIT-based pronunciation dictionary
  152. ;;;                 to part 5.
  153. ;;;  6-MAY-93 mk    Added entry on Jeffrey Mark Siskind's Screamer package to
  154. ;;;                 part 4.
  155. ;;; 11-MAY-93 mk    Added entry on Evoluntionary Programming digest to part 2.
  156. ;;; 11-MAY-93 mk    Updated entry on ATREE in part 4.
  157. ;;; 12-MAY-93 mk    Reviewed various genetic algorithms contents of this FAQ
  158. ;;;                 after reading through Joerg Heitkoetter's new FAQ for
  159. ;;;                 comp.ai.genetic. Mostly minor changes (e.g., inserting
  160. ;;;                 pointers to his FAQ). Expanded the reference to Nici
  161. ;;;                 Schraudolph's GA software survey, including a BRIEF
  162. ;;;                 listing of the free software from Nici's list.
  163. ;;; 1.7
  164. ;;; 13-MAY-93 mk    Added RTworks to commercial systems.
  165. ;;; 31-MAY-93 mk    Added entry on FRAPPS, XPNet, and Gazer, all theorem 
  166. ;;;                 provers, to part 4.
  167. ;;;  2-JUN-93 mk    Changed ftp address for cli.com.
  168. ;;;  3-JUN-93 mk    Added info on the Text Corpora list to part 2, nlp.
  169. ;;;  4-JUN-93 mk    Added info on LN (French Comp Ling mailing list) to part 2,
  170. ;;;                 NLP.
  171. ;;;  4-JUN-93 mk    Ditto for LINGUIST list and HUMANIST list.
  172. ;;;  7-JUN-93 mk    UKaiserslautern FTP repository for neural/fuzzy.
  173. ;;;  8-JUN-93 mk    Added Part 6, on commercial expert system shells, and moved
  174. ;;;                 appropriate entries from 1-8 there.
  175. ;;; 1.8
  176. ;;; 21-JUN-93 mk    Added entry on new journal, object-oriented systems.
  177. ;;; 21-JUN-93 mk    Added CHI mailing lists to part 2.
  178. ;;; 21-JUN-93 mk    New entry for GEST, FLEX in part 6.
  179. ;;; 21-JUN-93 mk    Added AISB to the list of associations.
  180. ;;; 21-JUN-93 mk    Added Univ. of Edinburgh to list of schools for NLP.
  181. ;;; 21-JUN-93 mk    Minor change to Knowledgeworks entry in part 6.
  182. ;;; 21-JUN-93 mk    Updated SOAR entry in part 4.
  183. ;;;  5-JUL-93 mk    Moved free expert systems to part 6.
  184. ;;;  5-JUL-93 mk    Added reinforcement learning mailing list.
  185. ;;;  5-JUL-93 mk    Added TCS connectionist simulator to part 4.
  186. ;;;  5-JUL-93 mk    Added category "Cognitive Science" to list of schools.
  187. ;;;  6-JUL-93 mk    Corrected mail server name for UCI ML Archive.
  188. ;;;
  189. ;;; 1.9
  190. ;;; 19-JUL-93 mk    Corrected Vision List mailing list addres.
  191. ;;; 20-JUL-93 mk    Corrected JAIR entry to match current proposal.
  192. ;;; 20-JUL-93 mk    Updated CLIPS entry.
  193. ;;; 20-JUL-93 mk    Updated ILOG RULES and SMECI entries in part 6.
  194. ;;;
  195. ;;; 1.10
  196. ;;; 10-AUG-93 mk    Added entry on CELP to part 4.
  197. ;;; 10-AUG-93 mk    Entry on AAAI Robot Building Contest.
  198. ;;; 10-AUG-93 mk    Added entry on Kappa PC mailing list to part 2.
  199. ;;; 13-AUG-93 mk    Added HUGIN to part 6.
  200. ;;;
  201. ;;; 1.11
  202. ;;; 18-AUG-93 mk    Updated anneal mailing list entry.
  203. ;;; 18-AUG-93 mk    Updated ASA entry in part 4.
  204. ;;; 24-AUG-93 mk    Added SCHED-L (Knowledge-based scheduling) mailing list
  205. ;;;                 to part 2. 
  206. ;;; 25-AUG-93 mk    Added info on AUTOCLASS to part 4.
  207. ;;; 25-AUG-93 mk    Added entry on theorem-provers mailing list to part 2.
  208. ;;;  6-SEP-93 mk    FONETIKS newsletter address change.
  209. ;;;
  210. ;;; 1.12
  211. ;;; 13-SEP-93 mk    Added CSP-List to the mailing lists section.
  212. ;;; 13-SEP-93 mk    comp.ai.jair.{announce,papers} now exist.
  213. ;;; 13-SEP-93 mk    Added EP-List bibliography to part 5.
  214. ;;; 13-SEP-93 mk    Fuzzy-Mail and NAFIPS-L mailing lists gatewayed to
  215. ;;;            comp.ai.fuzzy.
  216. ;;; 13-SEP-93 mk    Added info about CERC technical reports to part 5.
  217. ;;; 13-SEP-93 mk    Added evolutionary programming society below.
  218. ;;; 13-SEP-93 mk    Added game-playing subsection to search bibliography.
  219. ;;; 13-SEP-93 mk    Evolutionary Computing mailing list.
  220. ;;; 13-SEP-93 mk    Added SOM/LVQ bibliography to [5-1].
  221. ;;; 14-SEP-93 mk    Added temporal reasoning section to part 4, based on a
  222. ;;;            summary by Glen A Reece, glenr@aisb.ed.ac.uk.
  223. ;;; 14-SEP-93 mk    Added MOBAL to part 6.
  224. ;;; 14-SEP-93 mk    Modified TimeLogic entry.
  225. ;;; 20-SEP-93 mk    Modified TimeGraph I and II entries.
  226. ;;; 20-SEP-93 mk    Added Kean references to the bibliography for Nonmonotonic
  227. ;;;            reasoning and TMS.
  228. ;;; 20-SEP-93 mk    Added several computer vision references to the
  229. ;;;            bibliography.
  230. ;;; 20-SEP-93 mk    Corrected ftp directories for regex and tom.
  231. ;;; 20-SEP-93 mk    Added KEIM to part 4. 
  232. ;;; 20-SEP-93 mk    Added entry for the Journal of Intelligent Information
  233. ;;;            Systems.
  234. ;;; 21-SEP-93 mk    Added Diagrams mailing list to part 2.
  235. ;;; 21-SEP-93 mk    SNePS now GPLv2.
  236. ;;; 23-SEP-93 mk    Updated MIKE information. Split out the ES info to a
  237. ;;;            separate entry. Substantially new versions of MIKE,
  238. ;;;            new ftp site.
  239. ;;; 23-SEP-93 mk    Removed mention of the de.sci.ki and de.sci.ki.mod-ki
  240. ;;;            newsgroups. The latter ended when Hans-Werner Hein
  241. ;;;            <hein@damon.irf.uni-dortmund.de> stopped moderating it.
  242. ;;; 29-SEP-93 mk    Added IS Robotics mailing list to part 2.
  243. ;;; 29-SEP-93 mk    Added numerous journals, thanks to Elpi Tzafestas
  244. ;;;            <brensham@laforia.ibp.fr>.
  245. ;;; 11-OCT-93 mk    Updated subscription information for the LINGUIST list.
  246. ;;; 11-OCT-93 mk    Corrected CLIPS bboard phone numbers.
  247. ;;; 11-OCT-93 mk    AI-Medicine mailing list archive site.
  248. ;;; 12-OCT-93 mk    Added AUTOPOIESIS mailing list to part 2, 17.
  249. ;;; 12-OCT-93 mk    Added entry on GENESIS neural simulation package.
  250. ;;; 12-OCT-93 mk    Added COMPUTER-GO mailing list to part 2.
  251. ;;; 12-OCT-93 mk    Added entry on Hyperplane Animator (Backprop).
  252. ;;; 12-OCT-93 mk    Added entry on PEBLS (machine learning program).
  253. ;;; 12-OCT-93 mk    Added entry on SUZY (neural net classifier system).
  254. ;;; 12-OCT-93 mk    Added entry on URANUS (knowledge representation system).
  255. ;;; 13-OCT-93 mk    Split question [4-2] across parts 4 and 5 for space 
  256. ;;;                 reasons.
  257. ;;; 1.13:
  258. ;;; 13-OCT-93 mk    Corrections to CLIPS entry.
  259. ;;; 14-OCT-93 mk    Added Rete++ to part 6.
  260. ;;; 20-OCT-93 mk    Added NATURAL LANGUAGE & LINGUISTIC THEORY to journals.
  261. ;;; 28-OCT-93 mk    Updated VP-EXPERT entry.
  262. ;;; 28-OCT-93 mk    Change in SIGGEN mailing list.
  263. ;;;
  264. ;;; 1.14:
  265. ;;; 15-NOV-93 mk    Updated FOCL entry in part 6.
  266. ;;; 17-NOV-93 mk    Added info on GEST to 6-3.
  267. ;;;  1-DEC-93 mk    Added note that Don Walker passed away to ACL entry.
  268. ;;;  1-DEC-93 mk    Updated email address for Abtweak, part 4.
  269. ;;;  9-DEC-93 mk    Updated entry on SIGGEN in part 2.
  270. ;;;  9-DEC-93 mk    Added entry of Mark Kantrowitz's NLG bibliography
  271. ;;;                 to part 5. 
  272. ;;;  9-DEC-93 mk    Added ftp instructions for Back v5.2 (KR system in the
  273. ;;;                 KL-One family) in part 4.
  274. ;;;  9-DEC-93 mk    Updated entry on BPS -- the code from Forbus and de Kleer's
  275. ;;;                 book.
  276. ;;;
  277. ;;; 1.15:  Catching up on the backlog....
  278. ;;; 14-DEC-93 mk    Added entry on TPTP (problem library for theorem provers)
  279. ;;;                 to part 5.
  280. ;;; 14-DEC-93 mk    Added entry on C-PRS to part 6.
  281. ;;; 14-DEC-93 mk    Updated Tierra entry.
  282. ;;; 16-DEC-93 mk    Updated JAIR entry.
  283. ;;; 16-DEC-93 mk    Added Brill's tagger to part 4.
  284. ;;; 16-DEC-93 mk    AI Stats, Cells mailing lists, part 2.
  285. ;;; 21-DEC-93 mk    Updated information about the Riley CLIPS book in part 6.
  286. ;;; 22-DEC-93 mk    Added entry on BIOSIM to part 4.
  287. ;;; 22-DEC-93 mk    IlliGAL tech report ftp server up and running.
  288. ;;; 24-DEC-93 mk    Updated rest of CLIPS entry.
  289. ;;; 24-DEC-93 mk    foNETiks mailing list has moved.
  290. ;;; 24-DEC-93 mk    New version of FOIL available (part 4).
  291. ;;; 24-DEC-93 mk    Added entry on ToolDiag to part 4.
  292. ;;; 24-DEC-93 mk    Added IJUFKS journal.
  293. ;;; 24-DEC-93 mk    Added info on GPQUICK.
  294. ;;; 27-DEC-93 mk    New version of Isabelle.
  295. ;;; 27-DEC-93 mk    Added Frog-Net to part 2.
  296. ;;; 27-DEC-93 mk    Added Murre's neurosimulator review to part 4.
  297. ;;; 27-DEC-93 mk    2nd edition of NL Software Registry is available.
  298. ;;; 27-DEC-93 mk    Added entry on CSLI bibliography to part 5.
  299. ;;; 27-DEC-93 mk    Added OC1 (decision tree system) to part 4.
  300. ;;; 27-DEC-93 mk    Added OGI Speech Tools to part 5.
  301. ;;; 27-DEC-93 mk    Added PC Convolution to part 5, speech.
  302. ;;; 27-DEC-93 mk    Added two PCA nnet bibs to 5-1.
  303. ;;; 27-DEC-93 mk    Added entry on "Who's Who in Fuzzy Logic" to [1-11].
  304. ;;; 27-DEC-93 mk    Another retailer for RACTER.
  305. ;;; 28-DEC-93 mk    Added Rough Sets bulletin to part 2.
  306. ;;; 28-DEC-93 mk    Added HOTT newsletter to part 2.
  307. ;;; 28-DEC-93 mk    Moved [1-2] to be [1b] of part 3.
  308. ;;; 28-DEC-93 mk    Added [1c] in part 3 about finding copies of dissertations.
  309. ;;; 29-DEC-93 mk    Removed UIUC from list of neural network schools.
  310. ;;; 29-DEC-93 mk    CogNeuro mailing list now has a ftp archive site.
  311. ;;; 29-DEC-93 mk    Added MBP to part 4.
  312. ;;;  4-JAN-94 mk    Added entry on Elf, NuPrl, and Coq to part 5.
  313. ;;; 10-JAN-94 mk    Updated TPTP entry, part 5.
  314. ;;; 11-JAN-94 mk    Added [1-6] on history of AI.
  315. ;;; 12-JAN-94 mk    Mailing list for INTCON (Intelligent Control).
  316. ;;; 12-JAN-94 mk    New release of NQTHM.
  317. ;;; 12-JAN-94 mk    Added AISEARCH package to part 5.
  318. ;;; 13-JAN-94 mk    Added information on INFORMATICA, a journal.
  319. ;;;
  320. ;;; 1.16:
  321. ;;; 14-JAN-94 mk    In [1-10] Sussex Univ. --> Univ. of Sussex, and added them
  322. ;;;                 to a lot of subcategories.
  323. ;;; 14-JAN-94 mk    Updated Hugin's entry in part 6.
  324. ;;; 14-JAN-94 mk    Updated information about the Knowledge Discovery in
  325. ;;;                 Databases mailing list.
  326. ;;; 14-JAN-94 mk    Added Univ. of Wisconsin to Connectionism, ML, and Vision.
  327. ;;;                 Updated their ftp site listing.
  328. ;;; 17-JAN-94 mk    Minor correction to SCHOLAR mailing list entry.
  329. ;;; 18-JAN-94 mk    Updated TCNM entry (temporal constraints) in part 5.
  330. ;;; 26-JAN-94 mk    Added DYNACLIPS entry to part 6.
  331. ;;; 27-JAN-94 mk    Added mailing list -- GEnetic Algorithms Research Students
  332. ;;;                 (GEARS).
  333. ;;;  1-FEB-94 mk    Added journal, ARTIFICIAL INTELLIGENCE IN ENGINEERING.
  334. ;;;  9-FEB-94 mk    Added IDSS (Intelligent Decision Support Systems) mailing
  335. ;;;                 list to part 2.
  336. ;;; 10-FEB-94 mk    Added explanation of CLIPS acronym to CLIPS entry in 
  337. ;;;                 part 6.
  338. ;;; 11-FEB-94 mk    Added information about the ACL listserver.
  339. ;;; 11-FEB-94 mk    Added Rik Belew's AI thesis-advising genealogy to [1-10].
  340. ;;;
  341. ;;; 1.17:
  342. ;;; 14-FEB-94 mk    Added new journal, Knowledge Engineering Review.
  343. ;;; 17-FEB-94 mk    Updated ASA ftp location.
  344. ;;; 17-FEB-94 mk    Updated ACL address and other information, due to the death
  345. ;;;                 of Don Walker on Friday, November 26, 1993. Charitable
  346. ;;;                 contributions in his memory should be sent to the ACL Don
  347. ;;;                 and Betty Walker International Student Fund, Association
  348. ;;;                 for Computational Linguistics, c/o Judith Klavans, Box
  349. ;;;                 105, Hastings-on-Hudson, New York, 10706.
  350. ;;;  1-MAR-94 mk    Updated Computational Intelligence subscription rates.
  351. ;;;  9-MAR-94 mk    Updated ACM entry.
  352. ;;; 10-MAR-94 mk    Added CSGnet and Hero mailing lists.
  353. ;;; 10-MAR-94 mk    Added [5-6] on World-Wide Web servers for AI.
  354. ;;; 11-MAR-94 mk    Added entry on WordNet (thesaurus) to [5-3].
  355. ;;;
  356. ;;; 1.18:
  357. ;;; 14-MAR-94 mk    New journal on Natural Language Engineering.
  358. ;;; 14-MAR-94 mk    Updated ftp location for Afzal Ballim's ViewFinder.
  359. ;;; 18-MAR-94 mk    Updated information on the Central Neural Systems BBS.
  360. ;;; 18-MAR-94 mk    Changed the rtfm archive name for this faq.
  361. ;;; 18-MAR-94 mk    The AI FAQ part 6 is now the Expert System Shells FAQ, part
  362. ;;;                 1. Renamed it, and fixed all references.
  363. ;;; 21-MAR-94 mk    Added bibliography on belief revision and nonmonotonic
  364. ;;;                 logics to [6-1].
  365. ;;;  4-APR-94 mk    New version of AISEARCH available.
  366. ;;;  6-APR-94 mk    Added ranked list of universities according to number of
  367. ;;;                 AAAI Fellows to [1-3].
  368. ;;;  7-APR-94 mk    Updated entry for TimeGraph II (ftp information).
  369. ;;;  7-APR-94 mk    Added information about the Computational Linguistics Paper
  370. ;;;                 Archive to [5-1].
  371. ;;;  8-APR-94 mk    This FAQ now available by WWW; see below and in [6-6].
  372. ;;; 12-APR-94 mk    Updated information about the CMU AI Repository.
  373. ;;; 12-APR-94 mk    Added entry on Artificial Life Online BBS to part 5, and
  374. ;;;                 deleted reference to ftp.santafe.edu:/pub/Alife/
  375. ;;;                 [192.12.12.1] which has been superseded by the ALBBS.
  376. ;;; 12-APR-94 mk    Changed/updated many ftp references to enable them to
  377. ;;;                 appear as links in the WWW version of the FAQ. E-mail
  378. ;;;                 about references that weren't converted and/or other WWW
  379. ;;;                 resources is welcome.
  380. ;;;
  381. ;;; 1.19:
  382. ;;; 15-APR-94 mk    Added more DAI references and UMass DAI WWW server, thanks
  383. ;;;                 to Keith Decker.
  384. ;;; 20-APR-94 mk    Added entry on "The Brain" a nn simulator for MS-DOS
  385. ;;;                 systems.
  386. ;;; 22-APR-94 mk    Updated ftp information for ftp.gmd.de.
  387. ;;;  5-MAY-94 mk    Added entry on the Pratt/Doerpmund implementation of the
  388. ;;;                 Paris/Vencovska model of belief (defeasible reasoning) to
  389. ;;;                 the list of ftpable systems.
  390. ;;;  9-MAY-94 mk    Added Algorithmic Learning (book) to part 4.
  391. ;;; 12-MAY-94 mk    Added journal Adaptive Behavior (MIT Press).
  392. ;;; 12-MAY-94 mk    Added entry on Alf's collection of BibTeX bibliographies to
  393. ;;;                 [6-1].
  394. ;;; 12-MAY-94 mk    Added ICCA chess game annotation contests to [1-6].
  395. ;;; 12-MAY-94 mk    Added GESTURE-L to part 2.
  396. ;;; 12-MAY-94 mk    Added CMU Oz Project Web page to [6-6].
  397. ;;; 12-MAY-94 mk    Added entry on SPIE's INFO-ROBO robotics mailing list.
  398. ;;;
  399. ;;; 1.20:
  400. ;;; 10-JUN-94 mk    Updated GMD Machine Learning in Prolog library entry.
  401. ;;; 10-JUN-94 mk    Added note about the Screamer Tools Repository to [5-2a].
  402. ;;; 10-JUN-94 mk    Updated Knowledge Representation papers in [4-3], based on
  403. ;;;                 suggestions from Bernhard Nebel.
  404. ;;; 10-JUN-94 mk    Added Journal AI in Engineering Design, Analysis,
  405. ;;;                 and Manufacture (AI EDAM). 
  406. ;;;
  407. ;;; 1.21:
  408. ;;; 13-JUN-94 mk    Updated MOBAL entry in [5-2a].
  409. ;;; 16-JUN-94 mk    Reorganized [6-1] and added Sun's neural net bib.
  410. ;;;  1-JUL-94 mk    Miscellaneous updates to [1-3] and the bibliography.
  411. ;;;  1-JUL-94 mk    Updated abtweak entry in [5-2a].
  412. ;;;  7-JUL-94 mk    NL Software Registry URL.
  413. ;;;  7-JUL-94 mk    Added mailing list CBR-MED (Case-Based Reasoning in
  414. ;;;                 Medicine).
  415. ;;;  8-JUL-94 mk    Added KQML mailing list to part 2.
  416. ;;;  8-JUL-94 mk    Added LOTEC speech recognition system.
  417. ;;;  8-JUL-94 mk    Added MET-AI (Meteorology & AI) mailing list to part 2.
  418. ;;;  8-JUL-94 mk    GANN mailing list - genetic algorithms and neural networks.
  419. ;;;  8-JUL-94 mk    CNS (Central Neural Systems) bbs now has an anon ftp
  420. ;;;                 mirror.
  421. ;;;  8-JUL-94 mk    Added Essex ROBOTS Archive to [5-1].
  422. ;;; 11-JUL-94 mk    Added entry on Rymon's SE-Learn package (generalization of
  423. ;;;                 decision trees).
  424. ;;; 11-JUL-94 mk    Updated CMU AI Repository description in [5-1].
  425. ;;;                 *** The AI Repository is now officially ready and ***
  426. ;;;                 *** the PTF AI CD-ROM should be available soon.   ***
  427.  
  428.  
  429. ;;; ********************************
  430. ;;; Old Info Removed from FAQ. *****
  431. ;;; ********************************
  432.  
  433. Deleted papers,
  434. -  Ronald J. Brachman, Richard E. Fikes, and Hector J. Levesque,
  435.    "KRYPTON: A functional approach to knowledge representation", 
  436.    IEEE Computer, 16:67-73, 1983.
  437.  
  438. -  Ronald J. Brachman, "On the epistemological status of semantic
  439.    networks", in N.V. Findler, editor, Associative Networks, pp. 318-353.
  440.    New York: Academic Press, 1979.
  441. replacing with survey articles on description logics and the history
  442. of KL-ONE systems.
  443.  
  444.  
  445.